Linear and Temporal Logic Programming Language

Recent logic calculi open new possibilities for logic programming. Apparently the most important of them is a linear logic which makes possible to solve problems by resources treatment. The linear logic has already been used for several proposals of logic programming language. But authors of these languages mostly focused on the proposal of language and somewhat turned aside its efficient implementation. Programs written in these languages are mostly interpreted by interprets written in Prolog. This is relatively simple method, but performance of such system is poor and limits usability of these languages. The only useful language is LLP [3] which has its compiler system. Programs written in LLP are compiled into an internal form and then interpreted by extended WAM. In this paper we describe another programming language which has its compiler. This language is based on a linear logic and on a temporal logic as well. Key-Words: Linear logic, Fact, Rule, Temporal logic, Transition relation, Model